1. An introduction to formal specification and Z
Author: / Ben Potter, Jane Sinclair, David Till
Library: Library of Institude of Geophysics (Tehran)
Subject: Computer software - Geotools ــ Development,Z )Computer program language( ــ Development
Classification :
QA
76
.
76
.
D47
